排序方式: 共有320条查询结果,搜索用时 12 毫秒
71.
72.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献
73.
74.
针对大规模三维视景仿真中同时对场景全局和各目标模型细节观察的需求,设计了一种基于OpenGL的主辅式多视口场景渲染结构。通过对OpenGL视口定义、深度检测及投影变换等技术的灵活应用,该多视口结构在“导弹突防三维视景仿真系统”中得到了实现,有效地解决了多观察点同时兼顾的问题。 相似文献
75.
阐述了系统仿真中涉及的新技术,介绍了仿真新技术在国内外舰船作战系统中的应用情况,分析了我国舰船仿真技术的发展现状及与国外的主要差距,提出了舰船作战系统仿真应用的建议。 相似文献
76.
建立标准信息管理系统的难点在于为内容广泛的标准确定统一的描述形式,建立公开高效的标准发布方式和满足用户个性化检索需求.从标准信息的表现形式出发,建立了标准统一描述形式;通过关键词检索服务和命令检索服务建立了高效的标准发布方式;通过身份认证服务和用户订阅服务满足了用户个性化检索需求. 相似文献
77.
基于Virtual.Lab的某型减速器建模及仿真 总被引:1,自引:0,他引:1
为了预测某型自行火炮减速器的寿命,基于Pro/E实体模型,用Virtual.Lab建立了其虚拟样机模型,提出并简述了动态关联的模型校核验证方法,并利用动态关联法,对所建立的虚拟样机模型进行了验证,确认所建立的减速器虚拟样机符合实际情况,同时该虚拟样机模型通过加载得到了二档速度B级路面下太阳齿轮受到的扭矩,为下一步齿轮的校核打下了基础。 相似文献
78.
毫米波因其分辨力强、穿透性强、光子能量低的独特优势,在无损检测领域具有极大的潜力.针对毫米波无损检测应用,结合距离徙动算法和非均匀快速傅里叶变换的思想,提出一种适用于非均匀平面阵列的三维成像算法.该算法利用非均匀快速傅里叶变换在波数域重构信号频谱,克服了非均匀空间采样对传统基于傅里叶变换的成像算法的限制;该算法应用非均... 相似文献
79.
研究了从物体二维照片重构其三维CAD模型的算法。通过物体在不同方位的一组照片 ,选取一定数量的配准点 ,该算法能够计算出照相机的运动参数 ,进而得到物体表面的 3D几何信息及CAD模型。算法充分考虑到了CAD建模的可制造性约束 ,具有精确、稳健的特点 ,在逆向工程建模、计算机视觉、机器人领域有应用前景。 相似文献
80.
针对扭转导波对小管径弯管的检测问题,分别采用数值模拟和实验方法进行研究。使用ANSYS软件模拟扭转导波在弯管中的传播;设计一种针对小管径管道的磁致伸缩扭转导波检测传感器,并对弯管进行检测,建立该传感器的导波激发和接收模型,利用理论模型对实验信号进行解读。研究结果表明:T(0,1)模态导波在小管径管道弯头处发生模态转换,部分T(0,1)模态转换成F(1,1)模态,F(1,1)模态具有方向性,垂直于弯头拱背-拱腹方向;模态转换会造成检测信号的双端面反射现象,第二个端面回波与第一个端面回波幅值比随频率的增大呈减小趋势;传感器激发出的纵向磁致伸缩力会导致实验信号中出现少量纵向模态导波。研究结论为磁致伸缩扭转导波对小管径弯管的检测提供理论指导。 相似文献